Despite the growing popularity of machine learning models in the cyber-security applications ), most of these models are perceived as a black-box. The eXplainable Artificial Intelligence has become increasingly important to interpret the machine learning models to enhance trust management by allowing human experts to understand the underlying data evidence and causal reasoning. According to IDS, the critical role of trust management is to understand the impact of the malicious data to detect any intrusion in the system. The previous studies (...) focused more on the accuracy of the various classification algorithms for trust in IDS. They do not often provide insights into their behavior and reasoning provided by the sophisticated algorithm. Therefore, in this paper, we have addressed XAI concept to enhance trust management by exploring the decision tree model in the area of IDS. We use simple decision tree algorithms that can be easily read and even resemble a human approach to decision-making by splitting the choice into many small subchoices for IDS. We experimented with this approach by extracting rules in a widely used KDD benchmark dataset. We also compared the accuracy of the decision tree approach with the other state-of-the-art algorithms. (shrink)

To design and develop AI-based cybersecurity systems ), users can justifiably trust, one needs to evaluate the impact of trust using machine learning and deep learning technologies. To guide the design and implementation of trusted AI-based systems in IDS, this paper provides a comparison among machine learning and deep learning models to investigate the trust impact based on the accuracy of the trusted AI-based systems regarding the malicious data in IDs. The four machine learning techniques are decision tree, K nearest (...) neighbour, random forest, and naïve Bayes. The four deep learning techniques are LSTM and GRU. Two datasets are used to classify the IDS attack type, including wireless sensor network detection system and KDD Cup network intrusion dataset. A detailed comparison of the eight techniques’ performance using all features and selected features is made by measuring the accuracy, precision, recall, and F1-score. Considering the findings related to the data, methodology, and expert accountability, interpretability for AI-based solutions also becomes demanded to enhance trust in the IDS. (shrink)

In this paper, an extension of first order logic is introduced. In such logics atomic formulas may have infinite lengths. An Omitting Types Theorem is proved.

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) (151 E-152C); as opposed to what he may have taught secretly to his pupils (152C-160D). Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken. (shrink)

In this paper I want to do the following things. First I want to show that in the part of the Theaetetus where the relationship between knowledge and perception is examined, the concept of knowledge that is in question is very clearly characterized. We are left in no doubt as to what is to count as knowing. Secondly I want to unravel in some detail the case that Socrates puts on Protagoras’ behalf where he draws on what Protagoras actually wrote (...) ; as opposed to what he may have taught secretly to his pupils. Thirdly I wish to argue that if we let the dialogue speak for itself, it is manifest that this case put up on Protagoras’ behalf at 151 E-152C is not overthrown; it is not even shaken.In that part of the dialogue where the question is under examination whether or not knowledge and perception are the same, Socrates uses an idealized concept of knowledge. That is, he restricts the use of the word by setting down what he will consider to be the essential characteristics of knowledge, the sufficient and necessary conditions of its being instantiated. An excellent piece of philosophical procedure. (shrink)

Because anticipated and retrospective regret play important roles in practical deliberation and motivation, better understanding them can illuminate the contours of human agency. However, the possibility of self-ignorance and the fact that we change over time can make regret—especially anticipatory regret—not only a poor predictor of where the agent will be in the future but also an unreliable indicator of where the agent stands. Granting these, this paper examines the way in which prospective and, particularly, retrospective regret can nevertheless yield (...) important insight into the sorts of creatures we are, both generally and individually. The experience of retrospective regret can show a person she values something in a way she did not know or that she is (or was) a different person than she had thought, insights which can factor into forward-looking, or prospective, deliberation. Such instances of revelatory regret reveal something to the agent about herself as agent. I examine two cases of agential self-ignorance. In the first, the experience of regret reveals what the agent values, not only to others but even to the agent himself. In the second, the agent anticipates experiencing regret for an action but does not experience the regret, suggesting that the agent did not value the rejected alternative in the way she thought. Anticipatory regret is forward-looking and can play an important role in practical deliberation. But insofar as anticipatory regret flows from one’s imperfect judgment and prospection about oneself, retrospective regret can be an important corrective in helping the agent understand her own standpoint. (shrink)

We generalize two classical results on cylindric algebra to certain expansions of cylindric algebras where the extra operations are defined via first order formulas. The first result is the Neat Embedding Theorem of Henkin and the second is Monk's classical non-finitizability result of the class of representable algebras. As a corollary we obtain known classical results of Johnson and Biro published in the Journal of Symbolic logic.

In recent years, there has been a heated debate about how to interpret findings that seem to show that humans rapidly and automatically calculate the visual perspectives of others. In the current study, we investigated the question of whether automatic interference effects found in the dot-perspective task (Samson, Apperly, Braithwaite, Andrews, & Bodley Scott, 2010) are the product of domain-specific perspective-taking processes or of domain-general “submentalizing” processes (Heyes, 2014). Previous attempts to address this question have done so by implementing inanimate (...) controls, such as arrows, as stimuli. The rationale for this is that submentalizing processes that respond to directionality should be engaged by such stimuli, whereas domain-specific perspective-taking mechanisms, if they exist, should not. These previous attempts have been limited, however, by the implied intentionality of the stimuli they have used (e.g. arrows), which may have invited participants to imbue them with perspectival agency. Drawing inspiration from “novel entity” paradigms from infant gaze-following research, we designed a version of the dot-perspective task that allowed us to precisely control whether a central stimulus was viewed as animate or inanimate. Across four experiments, we found no evidence that automatic “perspective-taking” effects in the dot-perspective task are modulated by beliefs about the animacy of the central stimulus. Our results also suggest that these effects may be due to the task-switching elements of the dot-perspective paradigm, rather than automatic directional orienting. Together, these results indicate that neither the perspective-taking nor the standard submentalizing interpretations of the dot-perspective task are fully correct. (shrink)

Are we witnessing progress or regress in the recent increasing popularity and electoral success of populist politicians and parties in consolidated democratic nations? ... Is the innovative use of popular referendum in Great Britain to settle fundamental constitutional questions a progressive or regressive innovation? ... Similarly, is the increasing use of constituent assemblies to change constitutions across the world evidence of progress in democratic constitutionalism, or, a worryingly regressive change back toward unmediated popular majoritarianism? ... This paper reflects on some (...) of the perils and promise of framing such questions with the conceptual couplet of progress and regress. It considers four compelling critiques of the use of ‘progress’ and its cognates in sociopolitical theory, as well as arguing that such concepts are nevertheless ineliminable for our normative theories. The paper concludes by suggesting that we can avoid the most serious problems by employing only conceptions of political progress and regress that are piecemeal, pragmatic, and processual. (shrink)

We investigate whether ordinary quantification over objects is an extensional phenomenon, or rather creates non-extensional contexts; each claim having been propounded by prominent philosophers. It turns out that the question only makes sense relative to a background theory of syntax and semantics (here called a grammar) that goes well beyond the inductive definition of formulas and the recursive definition of satisfaction. Two schemas for building quantificational grammars are developed, one that invariably constructs extensional grammars (in which quantification, in particular, thus (...) behaves extensionally) and another that only generates non-extensional grammars (and in which quantification is responsible for the failure of extensionality). We then ask whether there are reasons to favor one of these grammar schemas over the other, and examine an argument according to which the proper formalization of deictic utterances requires adoption of non-extensional grammars. (shrink)

In his newly updated version of The Anatomy of a Constitutional Law Case, Alan F. Westin provides a documentary portrait of historically important constitutional law case, 'Youngstown Sheet & Tube Co. v. Sawyer, ' from its rise in a bargaining dispute in the steel industry during 1952 to the aftermath of its decision by the United States Supreme Court. Westin has added to his classic book additional materials and personal commentaries collected since the work was first published. The new information (...) covers what went on within the Truman administration, what went on within the Supreme Court when analyzing and resolving issues that come before it. Westin includes selections from transcripts, briefs and other official proceedings, adds notes describing each phase of the constitutional process, and a section of commentary and questions relating this case to others. (shrink)

It is not quite as easy to see that there is in fact no formula of this modal language having the same truth conditions (in terms of S5 Kripke semantics) as (1). This was rst conjectured by Allen Hazen2 and later proved by Harold Hodes3. We present a simple direct proof of this result and discuss some consequences for the logical analysis of ordinary modal discourse.

Theorists of public reason such as John Rawls often idealize constitutional courts as exemplars of public reason. This paper raises questions about the seduction and limits of analogies between theorists’ account of public reason and actual constitutional jurisprudence. Examining the work product of the United States Supreme Court, the paper argues that while it does engage in reason-giving to support its decisions—as the public reason strategy suggests— those reasons are (largely) legalistic and specifically juristic reasons—not the theorists’ idealized moral-political reasons (...) on matters of fundamental principle. But if constitutional courts do not engage on matters of fundamental principle, then a public reason strategy for assuaging democratic worries about judicial review would no longer be open: prominent liberal and deliberative democratic theorists could no longer point to the alleged superiority of constitutional courts to speak in the name of, and for, the people’s shared political principles. The paper extends beyond the U.S. case study by pointing to three institutional factors explaining the disanalogy between what some constitutional courts do and what public reason theories require them to do. It concludes with considerations about whether the public reason strategy might be more successfully applied to international courts. (shrink)

From climate change to fossil fuel dependency, from the uneven effects of natural disasters to the loss of biodiversity: complex socio-environmental problems indicate the urgency for cross-disciplinary research into the ways in which the social, the natural and the technological are ever more entangled. This ground breaking text moves between environmental sociology and environmental geography, political and social ecology and critical design studies to provide a definitive mapping of the state of environmental social theory in the age of the anthropocene. (...) Environments, Natures and Social Theory provokes dialogue and confrontation between critical political economists, actor network theorists, neo-Malthusians and environmental justice advocates. It maps out the new environmental politics of hybridity moving from hybrid neo-liberals to end times ecologists, from post environmentalists to cyborg eco-socialists. White, Rudy and Gareau insist on the necessity of a critical but optimistic hybrid politics, arguing that a more just, egalitarian, democratic and sustainable anthropocene is within our grasp. This will only be brought into being, however, by reclaiming, celebrating and channeling the reconstructive potential of entangled hybrid humans as inventive hominids, creative gardeners, critical publics and political agents. Written in an accessible style, Environments, Natures and Social Theory is an essential resource for undergraduate and postgraduate students across the social sciences. (shrink)

Since Mueller’s 1958 article calling Hegelian dialectics a “legend,” it has been fashionable to deny that Hegel used thesis-antithesis-synthesis dialectics. But in truth, Hegel’s Phenomenology of Spirit has 28 dialectics hidden on four outline levels, and The Philosophy of History has 10 more on three outline levels. In Phenomenology’s macrodialectic, Hegel’s nonsupernatural Spirit–all reality, everything in the universe, including man and artificial objects–advances from unconscious + union (thesis) to conscious + separation (antithesis) to a synthesis of conscious (from the antithesis) (...) + union (from the thesis). Previous interpretations of Phenomenology have missed this dialectic: they have assumed that Spirit’s journey begins with consciousness, whereas the journey actually begins in the primordial state of nature, before man arrives and provides Spirit with its Mind (the collective mind of man). Mind then misperceives itself as a multitude of separate alien “objects”–things other than itself. The macrodialectic and all other dialectics are based on Christianity’s Johannine separation-and-return mythology; all Hegelian dialectics separate from a concept in the thesis, going to that something’s opposite (antithesis), and then return to the thesis concept. Thus, in Hegel’s master-and-slave dialectic (God = master, man = slave), man advances from potential + freedom to actual + bondage (religiosity) to actual + freedom (atheism). Only Marx and Tillich understood Hegelian dialectics. Marx’s basic dialectic (one of four) saw history separating from and returning to Communism, going from communal ownership + poverty (primitive communism, or gens) to private ownership + wealth (slavery, feudalism, capitalism) to communal ownership + wealth (final communism). Tillich’s basic dialectic (one of many) separates from and returns to God, advancing from Yes to God + Yes to supernaturalism (theism) to No to God + No to supernaturalism (atheism) to Yes to God + No to supernaturalism (humanism: humanity is the nonsupernatural “God above the God of theism”). (shrink)

Whiskey Lao -- Fair warning -- Randomness at large -- We the addicted -- The best possible world -- The importance of being doomed -- Moral responsibility -- The upper limit to the value of possible worlds.